Instance Verification Kit (IVK)
mutex lock @ [7125+23+/linux-3.17-rc1/drivers/mfd/kempld-core.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
kempld_get_info_generic
[1632+23+/linux-3.17-rc1/drivers/mfd/kempld-core.c]
kempld_get_mutex
[7006+16+/linux-3.17-rc1/drivers/mfd/kempld-core.c]
kempld_gpio_direction_input
[2342+27+/linux-3.17-rc1/drivers/gpio/gpio-kempld.c]
kempld_gpio_direction_output
[2688+28+/linux-3.17-rc1/drivers/gpio/gpio-kempld.c]
kempld_gpio_get_bit
[1500+19+/linux-3.17-rc1/drivers/gpio/gpio-kempld.c]
kempld_gpio_pincount
[3406+20+/linux-3.17-rc1/drivers/gpio/gpio-kempld.c]
kempld_gpio_set
[2005+15+/linux-3.17-rc1/drivers/gpio/gpio-kempld.c]
kempld_i2c_probe
[7374+16+/linux-3.17-rc1/drivers/i2c/busses/i2c-kempld.c]
kempld_i2c_remove
[8241+17+/linux-3.17-rc1/drivers/i2c/busses/i2c-kempld.c]
kempld_i2c_resume
[9131+17+/linux-3.17-rc1/drivers/i2c/busses/i2c-kempld.c]
kempld_i2c_suspend
[8757+18+/linux-3.17-rc1/drivers/i2c/busses/i2c-kempld.c]
kempld_i2c_xfer
[4810+15+/linux-3.17-rc1/drivers/i2c/busses/i2c-kempld.c]
kempld_release_mutex
[7336+20+/linux-3.17-rc1/drivers/mfd/kempld-core.c]
kempld_wdt_keepalive
[8638+20+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_probe
[11345+16+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_probe_stages
[9522+23+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_set_pretimeout
[6130+25+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_set_stage_action
[3047+27+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_set_stage_timeout
[3675+28+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_set_timeout
[5434+22+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_start
[7515+16+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_stop
[8120+15+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_suspend
[13313+18+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]
kempld_wdt_update_timeouts
[6849+26+/linux-3.17-rc1/drivers/watchdog/kempld_wdt.c]